"查查詞典"手機(jī)版
千萬(wàn)人都在用的超大詞匯詞典翻譯APP
In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo?Fraenkel set theory.
詳細(xì)百科解釋